Empirical Verification